Umm... yeah. I've pretty much decided to stop this. An awful lot of papers I'm looking at are just going to involve so much background information before I get to the point of them that my heart sinks rather. And really, there's not a lot of point in doing this if I'm not enjoying it ( Read more... )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 7Sabine Glesner, Johannes Leitner, and Jan Olaf Blech. 2007. Coinductive Verification of Program Optimizations Using Similarity Relations. Electron. Notes Theor. Comput. Sci. 176, 3 (July 2007), 61-77. DOI=10.1016/j.entcs.2006.02.037 Read more... )

I seem to have a long list of things I want to blog about, hopefully I'll actually manage to get down to it properly this week!!

Anyway to start another of my (obviously not remotely weekly) 100 papers in AI.

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 6Vivi Nastase and Michael Strube, ( Read more... )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 5

Adam Sadilek and Henry Kautz. Location-Based Reasoning about Complex Multi-Agent Behaviour. Journal of Artificial Intelligence Research 43 (2012) 87-133

DOI: doi:10.1613/jair.3421
Open Access?: Yes!

( People got to play Capture The Flag for Science!! )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 4

Giuseppe Della Penna, Daniele Magazzeni and Fabio Mercorio. Applied Intelligence 36:932-959

DOI: http://dx.doi.org/10.1007/z10489-011-0306-z
Open Access?: Sadly no.

( Hybrid Systems seem to make up a large part of my work these days )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 3

Nissim Francez, Roy Dychkhoff. A Note on Harmony. Journal of Philosophical Logic, 41:613-628.

DOI: http://dx.doi.org/10.1007/s10992-011-9208-0
Open Access?: Computational Logic Publications, St. Andrews University.

( A Logic Paper that caught my Eye this week )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 2

Jacob M. Howe and Andy King, A Pearl on SAT and SMT Solving in Prolog, Theoretical Computer Science Volume 435, 1 June 2012, Pages 43-55.
DOI: http://dx.doi.org/10.1016/j.bbr.2011.03.031
Open Access: Available from Kent School of Computing ( Read more... )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 1.

Catholijn M. Jonker, Viara Popova, Alexei Sharpanskykh, Jan Treur, and Pınar Yolum. Formal Framework to Support Organizational Design. Knowledge-Based Systems 31:89-105, 2012.

DOI: http://dx.doi.org/10.1016/j.knosys.2012.02.011
Open Access?: ( Read more... )

Because you all so want to read more thoughts by me...

This has been doing the rounds: a challenge to make 100 posts on the subject of your choice (no time limit).


( Read more... )